A combined approach to solve the redundancy optimization problem for multi-state systems under repair policies

This paper combines universal moment generating function technique with stochastic Petri nets to solve the redundancy optimization problem for multi-state systems under repair policies. Redundant elements are included in order to achieve a desirable level of production availability. The elements of the system are characterized by their cost, performance and availability. These elements are chosen from a list of products available on the market. The number of repair teams is less than the number of reparable elements, and a repair policy specifies the maintenance priorities between the system elements. A heuristic is proposed to determine the minimal cost system configuration under availability constraints. This heuristic, first applies universal moment generating function technique to evaluate the system availability, assuming unlimited maintenance resources. Once a preliminary solution is found by the optimization algorithm, stochastic Petri nets are used to model different repair policies, and to find the best system configuration (architecture and number of repairmen) in terms of global performance (availability and cost). This combined procedure is applied to a reference example.     

远程分布式水轮发电机组振动监测与故障诊断系统的研究

针对水轮发电机组振动监测与故障诊断的多样性和复杂性,运用虚拟仪器技术和网络软硬件资源,设计并组建远程分布式水轮发电机组振动监测与故障诊断系统.本文描述了该系统的整体方案,软、硬件构成及其功能.该系统实现了水轮发电机组振动信号的数据采集、处理和分析,并能通过网络进行故障诊断.实际应用证明,这种基于虚拟仪器技术的远程分布式水轮发电机组振动监测与故障诊断系统具有很强的灵活性和可扩展性.     

三峡左岸电站水轮发电机组失步保护

介绍了在2003年投产发电的三峡电站水轮发电机组VGS机型的配套失步保护。其中,重点介绍了失步保护的原理、失步逻辑、参数整定等;并就参数整定中的阻抗整定、系统振荡最大滑差频率做了详细阐述。     

一种界面自动生成技术

笔者在使用java语言开发一套电信网管软件过程中发现网管系统中的配置管理模块涉及到大量的人机交互界面的设计，界面的设计工作量占了整个配置管理模块开发工作的70％左右，而且界面的开发工作通常都是繁杂和重复性的。为了减轻开发人员开发界面的工作量，笔者实现了一种界面自动生成技术，该技术能够快捷的开发人机交互界面，并提高了软件的可理解性和可维护性。     

一种新的支持向量机多类分类二叉树生成算法

首先讨论了基于二叉树的支持向量机多类分类算法,指出了二叉树结构的重要性,分析了当前几种二叉树生成算法。在此基础上,提出了一种新的二叉树生成算法,该算法克服了现有算法的一些缺陷,理论上更为合理,应用上具有较好的推广性能和抗干扰能力,从而可作为一种有效的二叉树生成算法得以应用。     

烃源岩生排烃理论研究与泥页岩油气

泥页岩油气的研究与勘探,必然涉及到烃源岩生排烃理论.但目前的干酪根热降解晚期生烃学说,是在油页岩热解生成页岩油概念基础上的提升,其理论明显脱离石油地质演化过程的实际,以该学说为指导研制的盆地模拟方法计算的油气资源量,表示的是烃源岩总有机碳全部热解生成石油的总量,即所谓的生油(烃)潜量,不是实际的生油量.通常含油气盆地都经历了持续沉降、整体上升、全面萎缩三个明显不同的发育阶段,盆地每个发展阶段都与成烃成藏过程有密切的关联,因此成盆成烃成藏是一个相辅相成、统一的石油地质演化过程.在持续沉降阶段,主要烃源岩基本上实现了成烃过程；整体上升阶段是盆地油气成藏的重要时期,并导致油气运移；全面萎缩阶段继续成烃完善成藏,不仅使整体上升阶段形成的油气藏继续充注油气,而且形成新的油气藏.干酪根热降解生成的石油受烃源岩(泥质岩)的孔隙空间限制,即烃源岩生油是在有限空间中进行的.通过确定烃源岩孔隙体积及其含油度等可定量计算烃源岩的生油量；通过盆地整体上升前后的烃源岩孔隙体积的变小量等可定量计算烃源岩的排油量.利用自行研制的DK-Ⅱ型地层孔隙热压生排烃模拟实验仪,开展了盆地持续沉降阶段烃源岩有限空间生烃模拟实验研究.要了解泥页岩油气的特征,必须从盆地的演化阶段及其与成烃成藏的密切关联入手.     

一种理疗房高电位发生装置

高电位发生装置是一种新型的物理理疗产品,是将产生的高压交流电经过单端输出到电场感应坐垫上,形成对人体有益的高压低频交变电场,作用于人体。利用这种电场对身体产生的特殊功效,调整人体的植物神经系统、循环系统等,达到调节人体机能的作用。文章设计并实现了一种基于P89LPC900系列单片机的理疗房高电位发生装置,详细阐述了其工作原理及结构组成,具有操作简单、档位和使用时间可选、实用性高等特点。     

A self‐applicable online partial evaluator for recursive flowchart languages

This paper describes a self‐applicable online partial evaluator for a flowchart language with recursive calls. Self‐application of the partial evaluator yields generating extensions that are as efficient as those reported in the literature for offline partial evaluation. This result is remarkable because it has been assumed that online partial evaluation techniques unavoidably lead to inefficient and overgeneralized generating extensions. The purpose of this paper is not to determine which kind of partial evaluation is better, but to show how the problem can be solved by recursive polyvariant specialization. The design of the self‐applicable online partial evaluator is based on a number of known techniques, but by combining them in a new way this result can be produced. The partial evaluator, its techniques, and its implementation are presented in full. Self‐application according to all three Futamura projections is demonstrated. The complete bootstrap of a compiler generator from a partial evaluator is also reported. Copyright © 2011 John Wiley & Sons, Ltd.     

虚拟现实软件系统开发方法研究

虚拟现实技术是一门综合性技术,涉及计算机图形学、多媒体技术、人机交互和人工智能等多个领域,在教育、医疗、娱乐、军事等众多领域有非常广泛的应用。所有这些技术和应用最终都要靠计算机软件来实现,这就使得虚拟现实系统的软件变得十分庞大和复杂,涉及许多多媒体数据。传统软件开发方法和程序设计技术侧重于处理文本数据,显然不能满足开发虚拟现实软件的需要。试图以所在团队研发成功的PAR方法和PAR平台为基础,根据虚拟现实软件系统的特征,探寻虚拟现实软件系统开发的新方法,进一步扩充和完善PAR平台中已有多媒体处理技术、形式化建模技术和C#等高级语言程序自动生成系统。     

Availability growth models and verification of power equipment

The general availability growth models for large scale complicated repairable system such as electric generating units, power station auxiliaries, and transmission and distribution installations are presented. The calculation formulas for the maintenance coefficient, mathematical expressions for general availability growth models, ways for estimating, and fitting on checking the parameters of the model are introduced. Availability growth models for electric generating units, power station auxiliaries, and transmission and distribution installations are given together with verification examples for availability growth models of 320–1000 MW nuclear power units and 1000 MW thermal power units, 200–1000 MW power station auxiliaries, and 220–500 kV transmission and distribution installations. The verification results for operation availability data show that the maintenance coefficients for electric generating units, power station auxiliaries, transmission and distribution installations conform to the power function, and general availability growth models conform to rules of availability growth tendency of power equipment.